Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
811	Making functionality more general Graham Hutton, University of Glasgow Ed Voermans, Eindhoven University of Technology∗ March 23, 1992 Abstract Add to Reading List Source URL: eprints.nottingham.ac.uk Language: English - Date: 2014-10-13 11:19:47 Partial equivalence relation Function Equivalence relation Finitary relation Lambda calculus Binary relation Total order Implementation of mathematics in set theory Preorder Mathematics Mathematical logic Order theory
812	An Introduction to (Deterministic) Parallelism in Haskell Munich Lambda Meetup Andres Löh 17 February 2014 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2014-02-18 05:47:11 Haskell Literate programming Parallel computing Type system Thread Parallelism Subroutine Haskell 98 features Lambda calculus Computing Computer programming Software engineering
813	The Design and Implementation of Typed Scheme Sam Tobin-Hochstadt Matthias Felleisen PLT, Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-01-16 15:37:27 Type theory Racket Type system Type safety Lambda calculus Scheme Programming language System F Type inference Software engineering Programming language theory Computing
814	The Why of Y Richard P. Gabriel Lucid, Inc. and Stanford University Did you ever wonder how Y works and how anyone could ever have thought of it? In this note I’ll try to explain to you not only how it works, but how s Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2012-08-04 16:00:09 Declarative programming Fixed-point combinator Closure Function Combinatory logic Currying Factorial Binary lambda calculus Mathematics Lambda calculus Software engineering
815	Randomness in Cryptography January 10, 2013 Lecture 1: One-Time MACs, (XOR)Universal hashing, Weak Keys Lecturer: Yevgeniy Dodis Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2014-03-05 15:25:16 Spectrum Support Operator theory Ordinary differential equations Lambda calculus Spectral theory of ordinary differential equations Mathematical analysis Spectral theory Measure theory
816	True Sums of Products Workshop on Generic Programming 2014 Edsko de Vries, Andres Löh 31 August 2014 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2014-09-01 09:38:41 Type theory Data types Generic programming Lambda calculus Logic in computer science Type system Combinatory logic C Haskell Software engineering Programming language theory Computing
817	IJMMS 31:[removed]–763 PII. S0161171202111379 http://ijmms.hindawi.com © Hindawi Publishing Corp. A NEW TRIPLE SUM COMBINATORIAL IDENTITY Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2010-03-26 14:53:30 Mathematics Combinatorics Rotational symmetry Partial differential equations Binomial coefficient Pythagorean trigonometric identity Combinatory logic Lambda calculus Logic in computer science
818	Calculating Criticalities A. Bundy1 F. Giunchiglia2 3 R. Sebastiani4 T. Walsh2 4 ; ; Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-07-29 07:14:05 Lambda calculus Logic in computer science Order theory FO Finite model theory Abstraction Fixed-point combinator Combinatory logic Monotonic function Theoretical computer science Mathematics Mathematical analysis
819	Preface This book is intended for you if you have already had a course in calculus— maybe a high school Advanced Placement class—and yet want to engage the concepts and ideas of single-variable calculus at a deeper l Add to Reading List Source URL: www.ams.org Language: English - Date: 2007-01-09 12:00:22 Integral Lambda calculus Fundamental theorem of calculus Infinitesimal calculus Number theory Outline of calculus Criticism of non-standard analysis Mathematical analysis Mathematics Calculus
820	Istituto per la Ricerca Scientifica e Tecnologica I[removed]Trento Loc. Pant e di Povo tel[removed]Telex[removed]ITCRST Telefax[removed]The Inevitability of Inconsistent Abstract Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-07-29 07:17:16 Proof theory Thought Abstraction Philosophy of language Axiom Concept Theorem Propositional calculus Lambda calculus Logic Mathematics Mathematical logic

UPDATE